例句與造句

1. 21 majster-cederbaum m, salger f . towards the hierarchical verification of reactive systems . theoretical computer science, 2004, 318 : 243-296.22 winskel g . an introduction to event structures . lecture notes in computer science 354, 1989, pp . 364-397.23 hoare c a r . communicating sequential processes, prentice-hall, 1985
   本文分別在語(yǔ)法和語(yǔ)義層次上對(duì)動(dòng)作精化進(jìn)行了定義，并證明了這兩個(gè)層次的動(dòng)作精化在前述兩種等價(jià)關(guān)系下，關(guān)于一種基于完全偏序的指稱語(yǔ)義是一致的。
2. It's difficult to find hierarchical verification in a sentence. 用hierarchical verification造句挺難的